| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Unidades Centrais. |
|
Data corrente: |
30/09/1997 |
|
Data da última atualização: |
12/12/2007 |
|
Autoria: |
COSTA, M. M. do C. |
|
Afiliação: |
DIN. |
|
Título: |
Descrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas. |
|
Ano de publicação: |
1985 |
|
Fonte/Imprenta: |
Rio de Janeiro: PUC, 1985. |
|
Páginas: |
108p. |
|
Idioma: |
Português |
|
Notas: |
Tese Mestrado. |
|
Conteúdo: |
A necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise. |
|
Palavras-Chave: |
Analysis; Computer; Pascal; Programação; Programming. |
|
Thesagro: |
Análise; Computador. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01366nam a2200217 a 4500
001 1088641
005 2007-12-12
008 1985 bl uuuu m 00u1 u #d
100 1 $aCOSTA, M. M. do C.
245 $aDescrição e implementação de um tradutor pascal para o código executável sob a forma de cláusulas.
260 $aRio de Janeiro: PUC$c1985
300 $a108p.
500 $aTese Mestrado.
520 $aA necessidade do "software" confiável e a busca de maiores conhecimentos sob a programação tem motivado as pesquisas para a elaboração de técnicas para provar fatos sobre programas, e em particular sua correção. A possibilidade do uso de técnicas como execução simbólica e execução controlada de trechos de programas através de sua representação sob a forma de cláusulas e do principio de resolução constitui uma importante contribuição para estudos nesta área. Esta dissertação apresenta a especificação e implemantação de um tradutor PASCAL. Este tradutor transforma um programa fonte, utilizando um analisador sintático SLR e ações semânticas especificadas em gramática de atributos, em cláusulas da lógica de primeira ordem, objetivando a sua análise.
650 $aAnálise
650 $aComputador
653 $aAnalysis
653 $aComputer
653 $aPascal
653 $aProgramação
653 $aProgramming
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Unidades Centrais (AI-SEDE) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 1 | |
| 1. |  | AZANI, N.; BABINEAU, M.; BAILEY, C. D.; BANKS, H.; BARBOSA, A. R.; PINTO, R. B.; BOATWRIGHT, J. S.; BORGES, L. M.; BROWN, G. K.; BRUNEAU, A.; CANDIDO, E.; CARDOSO, D.; CHUNG, K.-F.; CLARK, R. P.; CONCEIÇÃO, A. de S.; CRISP, M.; CUBAS, P.; DELGADO-SALINAS, A.; DEXTER, K. G.; DOYLE, J. J.; DUMINIL, J.; EGAN, A. N.; ESTRELLA, M. de la; FALCÃO, M. J.; FILATOV, D. A.; FORTUNA-PEREZ, A. P.; FORTUNATO, R. H.; GAGNON, E.; GASSON, P.; RANDO, J. G.; TOZZI, A. M. G. de A.; GUNN, B.; HARRIS, D.; HASTON, E.; HAWKINS, J. A.; HERENDEEN, P. S.; HUGHES, C. E.; IGANCI, J. R. V.; JAVADI, F.; KANU, S. A.; KAZEMPOUR-OSALOO, S.; KITE, G. C.; KLITGAARD, B. B.; KOCHANOVSKI, F. J.; KOENEN, E. J. M.; KOVAR, L.; LAVIN, M.; ROUX, M. LE; LEWIS, G. P.; LIMA, H. C. DE; LÓPEZ-ROBERTS, M. C.; MACKINDER, B.; MAIA, V. H.; MALÉCOT, V.; MANSANO, V. F.; MARAZZI, B.; MATTAPHA, S.; MILLER, J. T.; MITSUYUKI, C.; MOURA, T.; MURPHY, D. J.; NAGESWARA-RAO, M.; NEVADO, B.; NEVES, D.; OJEDA, D. I.; PENNINGTON, R. T.; PRADO, D. E.; PRENNER, G.; QUEIROZ, L. P. de; RAMOS, G.; FILARDI, F. L. R.; RIBEIRO, P. G.; RICO-ARCE, M. DE L.; SANDERSON, M. J.; SANTOS-SILVA, J.; SÃO-MATEUS, W. M. B.; SILVA, M. J. S.; SIMON, M. F.; SINOU, C.; SNAK, C.; SOUZA, É. R. DE; SPRENT, J.; STEELE, K. P.; STEIER, J. E.; STEEVES, R.; STIRTON, C. H.; TAGANE, S.; TORKE, B. M.; TOYAMA, H.; CRUZ, D. T. da; VATANPARAST, M.; WIERINGA, J. J.; WINK, M.; WOJCIECHOWSKI, M. F.; YAHARA, T.; YI, T.; ZIMMERMAN, E. A new subfamily classification of the Leguminosae based on a taxonomically comprehensive phylogeny. Taxon, v. 66, n. 1, p. 44-77, 2017.| Tipo: Artigo em Periódico Indexado | Circulação/Nível: A - 1 |
| Biblioteca(s): Embrapa Recursos Genéticos e Biotecnologia. |
|    |
| Registros recuperados : 1 | |
|
| Expressão de busca inválida. Verifique!!! |
|
|
